منابع مشابه
Easy Parameterized Verification of Biphase Mark and 8N1 Protocols
The Biphase Mark Protocol (BMP) and 8N1 Protocol are physical layer protocols for data transmission. We present a generic model in which timing and error values are parameterized by linear constraints, and then we use this model to verify these protocols. The verifications are carried out using SRI’s SAL model checker that combines a satisfiability modulo theories decision procedure with a boun...
متن کاملفرایند دریافت E- Mark
با گسترش روزافزون صنعت حمل‌و‌نقل درجهان و ارتقای استانداردها، تدوین و اجرای استانداردهای بین‌المللی، یک امر ضروری به‌نظر می‌رسد. E- Mark یک مجموعه قانون‌های هماهنگ بین‌المللی برای خودرو و قطعه‌های آن است که تمامی تولیدکنندگان وسیله‌های نقیله و قطعه‌ها ملزم به رعایت آن هستند. تولیدکنندگان تایر نیز از این امر مستثنی نیستند و باید برای تایرهای خود این مجوز را دریافت کنند. در این مقاله روش دریافت E...
متن کاملSome Manchester doctors. A biographical collection to mark the 150th anniversary of the Manchester Medical Society 1834—1984
MIRKO D. GRMEK, Les maladies a l'aube de la civilisation occidentale, Paris, Payot, 1983, 8vo, pp.527, Fr.160.00 (paperback). This a large and ambitious work which draws together and attempts to balance a range of information pertinent to an understanding of patterns of disease in early mediterranean societies. Grmek calls on relevant comment from Aristotle and arthritis to Hippocrates and hype...
متن کاملMark Giesbrecht
The MICA 2008 conference was held May 1–3, 2008 in Stonehaven Bay, Trinidad. The conference honoured the scientific career of Keith Geddes. Colleagues, students and friends celebrated Professor Geddes’ achievements in many areas: in fundamental research, in technology transfer, and in the training of the next generation of scientists, mathematicians and engineers. Keith received his PhD in 1973...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Southern Medical Journal
سال: 1913
ISSN: 0038-4348
DOI: 10.1097/00007611-191308000-00019